منابع مشابه
Degrees which do not bound minimal degrees
The high/low hierarchy respects the ordering of degrees, and so we can expect to find properties of order which are possessed by all degrees in a given hierarchy class. Such properties can also be found for classes of the generalized high/low hierarchy even though that hierarchy does not respect the ordering of the degrees. For example, Jockusch and Posner [4], extending a result of Cooper [l],...
متن کامل1-Generic Degrees Bounding Minimal Degrees Revisited
We show that over the base system P− + Σ2-bounding, the existence of a 1-generic degree < 0′′ bounding a minimal degree is equivalent to Σ2-induction.
متن کاملDegrees That Are Not Degrees of Categoricity
A computable structure A is x-computably categorical for some Turing degree x, if for every computable structure B ∼= A there is an isomorphism f : B → A with f ≤T x. A degree x is a degree of categoricity if there is a computable structure A such that A is x-computably categorical, and for all y, if A is y-computably categorical then x ≤T y. We construct a Σ2 set whose degree is not a degree o...
متن کاملDegrees in $k$-minimal label random recursive trees
This article describes the limiting distribution of the degrees of nodes has been derived for a kind of random tree named k-minimal label random recursive tree, as the size of the tree goes to infinity. The outdegree of the tree is equal to the number of customers in a pyramid marketing agency immediatly alluring
متن کاملOn minimal wtt-degrees and computably enumerable Turing degrees
Computability theorists have studied many different reducibilities between sets of natural numbers including one reducibility (≤1), many-one reducibility (≤m), truth table reducibility (≤tt), weak truth table reducibility (≤wtt) and Turing reducibility (≤T ). The motivation for studying reducibilities stronger that Turing reducibility stems from internally motivated questions about varying the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1986
ISSN: 0168-0072
DOI: 10.1016/0168-0072(86)90022-9